Nuprl Definition : iabmonoid 13,42
IAbMonoid == {g:IMonoid| Comm(|g|;*)}  
latex

clarification:

IAbMonoid{i} == {g:IMonoid{i}| Comm(|g|;*g)}  
latex

Upgroups 1
Wellformedness Lemmasiabmonoid wf
DefinitionsIMonoid, Comm(T;op), |g|, *

origin